nonmonotonic相关论文
Inexact Newton method via Lanczos decomposed technique for solving box-constrained nonlinear systems
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
SSL协议是一个应用于互联网上的安全协议，使用传统的BAN类逻辑分析该协议有很大困难。本文用Rubin逻辑对SSL协议中恢复一个已存在的......
提出一种新的模糊逻辑——数值模糊择优逻辑，给出了数值模糊择优逻辑的语法和语义，并研究了其性质．该逻辑结合多值逻辑和择优推理的语......
